#include <stdio.h>
#include <syscall.h>
int main(int argc, char *argv[])
{
	int i;
	pit_t pid;
	for(i=0;i<10000;i++)
	{
		pid = exec("timerwait 10000");
	}
}
